MA.1.3 函数极限
函数、基本/初等函数、反函数
函数
反函数
条件:一一对应
函数的复合
复合函数
满足交换律
初等函数
- 基本初等函数
- 常数函数
- 幂函数
- 指数函数
- 对数函数
- 三角函数
- 反三角函数
- 初等函数
- 基本初等函数->有限次加减乘除
- 多项式、双曲函数
width=500; height=300
top = pi; bottom = -pi/2;
left = -pi; right = pi;
---
y=\sin x
y=\arcsin x
y=x
width=500; height=300
top = pi+0; bottom = -1;
left = -pi; right = pi;
---
y=\cos x
y=\arccos x
y=x
width=500; height=300
---
y=\tan x
y=\arctan x
y=x
- 函数的其他表示方式
- 显表示:
- 分段函数(通常不是初等函数)
- 隐表示=>隐函数
- 解出:隐函数显化
- 参数方程
- 参数方程 - 一个或多个函数的图像
- 消参 - 代入法
- Eg. 滚轮线
- 极坐标方程
- 极径; - 倾角; - 极轴 - 原点的
不确定,其他均唯一 直角坐标系 参数方程 - Eg.
- 心脏线
- 双纽线
化极坐标:
- 心脏线
- 显表示:
函数极限
无穷的极限
无穷大处的极限
类比得到无穷大/无穷小
- 理解
:正无穷 / 负无穷 - 无限:
无限增大; 与 无限接近 - 位于带状区域内
height=300; width=400; top = 1; bottom = -1; left = -5; right = 5; --- y=x/e^{\abs(x)} -1/5<y<1/5
- 证明步骤:
某一点的极限
左右单侧极限同理可得
证明只需要在
其他五种极限不再赘述^aa2b80
极限的内涵
- 理解
- 无限接近:不要求
处有意义,即使有意义,也不一定为其极限 - 几何意义:
- 无限接近:不要求
- 性质(类比)
- 常见极限
教材P38 注意左右极限相等 (其他底数可以使用换底公式) (利用 )
(利用)
- 数列极限存在 -> 函数极限存在
-
#子数列归并性定理 -> #Heine归并定理^9fd127
-
- 理解:
- 任意的离散 = 连续
- (函数值构成的)数列极限<=>函数极限
- 下标:异于
- 证明:
- ->:
- <-:反证法+构造性证明
- 应用:常用于判定函数极限不存在
- 找到不相等的极限
- #单调有界定理 -> #单调函数极限
-
>desmos-graph >width=400;height=200 >top=1;bottom=-1;left=-1.5;right=1.5; >--- >y=\sin x\left\{-1<x<1\right\} >
>证明见P42:sup定义 / #确界原理
-
- #Cauchy收敛准则 -> #Cauchy判别准则^dce2c1
-
- 理解:
- 自变量位于
- 证明:
- ->:
- <-:构造
- #极限夹逼性
幂指函数极限
- #e的转化
简证:第二个等号运用了 #变量代换 : - #幂指同时取极限
$$\lim f(x)^{g(x)}=A^B$$
简证: - #1∞形不定式
$$\lim f(x)^{g(x)}=e^{\lim[f(x)-1]\cdot g(x)}$$
简证:
运用 #幂指同时取极限 :
#有理函数极限公式
无穷大量、无穷小量
- 无穷小的运算法则:见前
- 无穷大、小(不取0)互为倒数
- 无穷大必为无界量,反之不然
- 在离散的数列中,以分奇偶为特判;在连续的函数,可用
- 在离散的数列中,以分奇偶为特判;在连续的函数,可用
无穷小与无穷大的比较
,高阶无穷小,记为 ,同阶无穷小 - 特别地,
,等价无穷小,记为
- 特别地,
,低阶无穷大,记为 ,同阶无穷大 - 特别地,
,等价无穷大,记为
- 特别地,
次数高=作用小
简证:
简证:
原则:
极限式分子或分母的无穷小因式可以用等价无穷小替换,而和式不能
简证:
另:记号 ,
记为:$$f(x)=O(g(x))\quad(x\to x_0)$$
特别地
在 有界,即$$f(x)=O(1)\quad(x\to x_0)$$ 有界,即$$f=O(g)$$